Logic Programming and Software engineering - implications for Software design
نویسندگان
چکیده
Logic programming is a programming paradigm with potential to contribute to software engineering. This paper is concerned with one dimension of that potential, the impact that experience with developing logic programs can have on software design. We present a logic programming perspective on programming patterns, systematic program development, design for provability, and the paradigm of meta-programming.
منابع مشابه
Design and PLC Implementation for Speed Control of DC Motor using Fuzzy Logic
In this article, a speed control of DC motor is designed and illustrated using fuzzy logic-based programmable logic controller (PLC). The DC motor is an attractive part of electrical equipment in many industrial applications requiring variable speed and load specifications due to its ease of controllability. The designed system is consisted of three main parts including programmable logic contr...
متن کاملModel Driven Development Transformations using Inductive Logic Programming
Model transformation by example is a novel approach in model-driven software engineering. The rationale behind the approach is to derive transformation rules from an initial set of interrelated source and target models; e.g., requirements analysis and software design models. The derived rules describe different transformation steps in a purely declarative way. Inductive Logic Programming utiliz...
متن کاملWhat is Logic Programming good for in Software Engineering?
It has been argued that logic programming will survive only insofar as useful applications can be built and proved effective, implicitly affirming that such applications have not yet been built. We show that from the perspective of a software engineer logic programming offers several methods and techniques that are useful for his work. Thus, we overview the main features of logic programming fr...
متن کاملApplications of Logic Programming in Software Engineering
We show that logic programming ooers useful methods and techniques to software engineers. Several research and industrial projects have either successfully applied logic programming languages during the software development lifecycle, or have developed useful software engineering tools exploiting some feature of logic programming. We overview the main software speciication and design techniques...
متن کاملA Synchronous Approach to Reactive System Design
Reactive systems are systems that maintain permanent interactions with their environment. In this paper, we present our experience teaching discrete-event reactive systems to Electrical Engineering students. The course ranges from logic circuits to software components, and covers models, analysis, design of various systems (from logical systems to embedded systems). Since our students are not e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Knowledge Eng. Review
دوره 11 شماره
صفحات -
تاریخ انتشار 1996